L'image des Iraniens dans les manuels scolaires arabes

Etude des symétries dans les modèles finis

Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been ins...

Manipulation des Interactions dans les Gaz Quantiques:

The interparticle interactions in ultracold atomic gases can be tuned using Fano–Feshbach scattering resonances, which occur in low–energy collisions between two atoms. These resonances are usually obtained using an external static magnetic field. They turn ultracold atomic gases into an experimental playground for the investigation of novel phases in which Quantum Physics plays a key role. The...

LE Petrol et L''etat dans Les Pays Arabes du Golef - Persique

Des Chaînes Et Des Antichaînes Dans Les Ensembles Ordonnés Finis

résumé – L’un des nombreux domaines dans lesquels Bruno Leclerc a travaillé et publié est celui des ensembles ordonnés. Plus précisément, il s’est fortement intéressé à des propriétés d’ensembles ordonnés relatives à des sous-structures bien particulières, les chaînes et les antichaînes. Beaucoup de problèmes de tri, de recherche et d’ordonnancement que l’on rencontre par exemple en informatiqu...

dictionnaire bilingue des noms propres dans le coran (les personnes)

این فرهنگ شامل 54 گفتار می باشد که از خلال آن به مطالعه داستان زندگی پیامبران و اشخاص و گروه هایی که در قرآن نام آنها آورده شده است، بر اساس آیات قرآنی و روایات صحیح اسلامی می پردازد که به ترتیب حروف الفبا شامل اسامی ذیل می شود: آدم، آذر، ابراهیم، ابولهب، احمد، ادریس، اسحق، اسماعیل، اصحاب الاخدود، اصحاب الایکه، اصحاب الجنه، اصحاب الرس، اصحاب السبت، اصحاب الفیل، اصحاب القریه، اصحاب الکهف، الیا...